A countably compact, first countable, nonnormal $T\sb{2}$-space

CH and first countable , countably compact spaces ✩

We show that it is consistent with the Continuum Hypothesis that first countable, countably compact spaces with no uncountable free sequences are compact. As a consequence, we get that CH does not imply the existence of a perfectly normal, countably compact, non-compact space, answering a question of Nyikos (Question 287 in the numbering of van Mill and Reed, Open Problems in Topology, Elsevier...

First Countable, Countably Compact Spaces and the Continuum Hypothesis

We build a model of ZFC+CH in which every first countable, countably compact space is either compact or contains a homeomorphic copy of ω1 with the order topology. The majority of the paper consists of developing forcing technology that allows us to conclude that our iteration adds no reals. Our results generalize Saharon Shelah’s iteration theorems appearing in Chapters V and VIII of Proper an...

A First Countable, Initially Ω1-compact but Non-compact Space

We force a first countable, normal, locally compact, initially ω1-compact but non-compact space X of size ω2. The onepoint compactification of X is a non-first countable compactum without any (non-trivial) converging ω1-sequence.

A Homogeneous Extremally Disconnected Countably Compact Space

It is well known that no infinite homogeneous space is both compact and extremally disconnected. (Since there are infinite compact homogeneous spaces and infinite extremally disconnected homogeneous spaces, it is the combination of compactness and extremal disconnectedness that brings about this result.) The following question then arises naturally: How “close to compact” can a homogeneous, ext...

On first countable , countably compact spaces III : The problem of obtaining separable noncompact examples